TSTP Solution File: ANA062^1 by SInE---0.4